Relaxing Behavioural Inheritance

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Relaxing Behavioural Inheritance

initialisation (ai) concrete initialisation (ci) abstract operation (co) concrete operation (co) abstract finalisation (af) concrete finalisation (cf) abstract operation (ao) concrete operation (co) R R R R (a) Data refinement simulation ao

متن کامل

Constraints of Behavioural Inheritance

We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural ...

متن کامل

Behavioural inheritance in the UML to model software product lines

1 Traditional product line approaches struggle with complexity and weak evolution support. We 2 propose an evolutionary software product line modelling approach based on controllable inheritance 3 of product line members specifications. Instead of a predefined product line architecture we 4 use hierarchies of implemented product specifications plus correctness control of product model 5 transfo...

متن کامل

Relaxing stratification

A number of ways of relaxing the stratification constraint for the axioms of Quine’s NF are reviewed. It is shown how most of them result in

متن کامل

Relaxing the Value Restriction

Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advantages over previous approaches, it forbids polymorphism in many cases where it would be sound. We use a subtyping based approach to recover part of this lost polymorphism, without changing the type algebra itself, and t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2013

ISSN: 2075-2180

DOI: 10.4204/eptcs.115.5